Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

DATA-DRIVEN COORDINATION IN PEER-TO-PEER INFORMATION SYSTEMS

BUSI, NADIA, MONTRESOR, ALBERTO, ZAVATTARO, GIANLUIGI
Журнал:
International Journal of Cooperative Information Systems
Рік:
2004
Мова:
english
Файл:
PDF, 306 KB
english, 2004
2

Preface

Nadia Busi, Roberto Gorrieri, Fabio Martinelli
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2005
Мова:
english
Файл:
PDF, 66 KB
english, 2005
3

A Process Algebraic View of Coordination

Nadia Busi, Gianluigi Zavattaro
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 164 KB
english, 2006
4

Expressiveness Issues in Brane Calculi: A Survey

Nadia Busi
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2008
Мова:
english
Файл:
PDF, 373 KB
english, 2008
5

Using well-structured transition systems to decide divergence for catalytic P systems

Nadia Busi
Журнал:
Theoretical Computer Science
Рік:
2007
Мова:
english
Файл:
PDF, 288 KB
english, 2007
6

Foreword

Nadia Busi, Claudio Zandron
Журнал:
Theoretical Computer Science
Рік:
2008
Мова:
english
Файл:
PDF, 145 KB
english, 2008
7

Computational expressiveness of Genetic Systems

Nadia Busi, Claudio Zandron
Журнал:
Theoretical Computer Science
Рік:
2009
Мова:
english
Файл:
PDF, 469 KB
english, 2009
8

Stochastic biological modelling in the presence of multiple compartments

Cristian Versari, Nadia Busi
Журнал:
Theoretical Computer Science
Рік:
2009
Мова:
english
Файл:
PDF, 1.40 MB
english, 2009
9

Integrating TwoTowers and GreatSPN through a compact net semantics

Marco Bernardo, Nadia Busi, Marina Ribaudo
Журнал:
Performance Evaluation
Рік:
2002
Мова:
english
Файл:
PDF, 309 KB
english, 2002
10

Analysis issues in Petri nets with inhibitor arcs

Nadia Busi
Журнал:
Theoretical Computer Science
Рік:
2002
Мова:
english
Файл:
PDF, 378 KB
english, 2002
11

Expired data collection in shared dataspaces

Nadia Busi, Gianluigi Zavattaro
Журнал:
Theoretical Computer Science
Рік:
2003
Мова:
english
Файл:
PDF, 260 KB
english, 2003
12

A process algebraic view of Linda coordination primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Журнал:
Theoretical Computer Science
Рік:
1998
Мова:
english
Файл:
PDF, 2.17 MB
english, 1998
13

Comparing three semantics for Linda-like languages

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Журнал:
Theoretical Computer Science
Рік:
2000
Мова:
english
Файл:
PDF, 258 KB
english, 2000
14

On the Expressiveness of Movement in Pure Mobile Ambients

Nadia Busi, Gianluigi Zavattaro
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2002
Мова:
english
Файл:
PDF, 718 KB
english, 2002
16

On the Turing equivalence of Linda coordination primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 30 KB
english, 1997
17

Preface

Nadia Busi, Claudio Zandron
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2007
Мова:
english
Файл:
PDF, 101 KB
english, 2007
18

Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes

Cristian Versari, Nadia Busi
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2008
Мова:
english
Файл:
PDF, 348 KB
english, 2008
19

On the expressive power of movement and restriction in pure mobile ambients

Nadia Busi, Gianluigi Zavattaro
Журнал:
Theoretical Computer Science
Рік:
2004
Мова:
english
Файл:
PDF, 405 KB
english, 2004
20

On the Serializability of Transactions in JavaSpaces

Nadia Busi, Gianluigi Zavattaro
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2001
Мова:
english
Файл:
PDF, 274 KB
english, 2001
21

On the Expressiveness of Linda Coordination Primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Журнал:
Information and Computation
Рік:
2000
Мова:
english
Файл:
PDF, 463 KB
english, 2000
22

A process algebraic view of shared dataspace coordination

Nadia Busi, Gianluigi Zavattaro
Журнал:
The Journal of Logic and Algebraic Programming
Рік:
2008
Мова:
english
Файл:
PDF, 354 KB
english, 2008
23

Distributed semantics for the -calculus based on Petri nets with inhibitor arcs

Nadia Busi, Roberto Gorrieri
Журнал:
The Journal of Logic and Algebraic Programming
Рік:
2009
Мова:
english
Файл:
PDF, 496 KB
english, 2009
27

Process discovery and Petri nets

BUSI, NADIA, PINNA, G. MICHELE
Журнал:
Mathematical Structures in Computer Science
Рік:
2009
Мова:
english
Файл:
PDF, 516 KB
english, 2009
28

Deciding reachability problems in Turing-complete fragments of Mobile Ambients

BUSI, NADIA, ZAVATTARO, GIANLUIGI
Журнал:
Mathematical Structures in Computer Science
Рік:
2009
Мова:
english
Файл:
PDF, 487 KB
english, 2009
29

An expressiveness study of priority in process calculi

VERSARI, CRISTIAN, BUSI, NADIA, GORRIERI, ROBERTO
Журнал:
Mathematical Structures in Computer Science
Рік:
2009
Мова:
english
Файл:
PDF, 473 KB
english, 2009
30

Efficient computation in rational-valued P systems

BUSI, NADIA, GUTIÉRREZ-NARANJO, MIGUEL A., PÉREZ-JIMÉNEZ, MARIO J.
Журнал:
Mathematical Structures in Computer Science
Рік:
2009
Мова:
english
Файл:
PDF, 296 KB
english, 2009
31

Structural non-interference in elementary and trace nets

BUSI, NADIA, GORRIERI, ROBERTO
Журнал:
Mathematical Structures in Computer Science
Рік:
2009
Мова:
english
Файл:
PDF, 443 KB
english, 2009
36

Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs

Busi, Nadia, Pinna, G. Michele
Журнал:
Fundamenta Informaticae
Рік:
1999
Файл:
PDF, 1.52 MB
1999